(0
 (
  ("(x 1)" 3 27)
  ("(x 2)" 27 33)
  ("(x 3)" 33 38)
  ("(x 4)" 38 42)
  ("(x 5)" 42 55)
  ("(x 4)" 55 66)
  ("(x 5)" 66 70)
  ("(x 6)" 86 94)
  ("(x 5)" 94 95)
  ("(x 4)" 95 96)
  ("(x 3)" 96 97)
  ("(x 2)" 97 98)
  ("(x up)" 4 21)
  ("(x stable)" 21 22)
  ("(x down)" 22 48)
  ("(x up)" 48 60)
  ("(x stable)" 60 62)
  ("(x down)" 62 70)
  ("(x up)" 87 98)
  ("(y 2)" 3 25)
  ("(y 1)" 25 41)
  ("(y 2)" 41 45)
  ("(y 3)" 45 48)
  ("(y 4)" 48 50)
  ("(y 5)" 50 54)
  ("(y 6)" 54 70)
  ("(y 5)" 86 98)
  ("(y up)" 4 36)
  ("(y down)" 36 70)
  ("(y up)" 87 98)
 ))
(1
 (
  ("(x 1)" 3 13)
  ("(x 2)" 13 18)
  ("(x 3)" 18 22)
  ("(x 4)" 22 26)
  ("(x 5)" 26 34)
  ("(x 4)" 34 38)
  ("(x 6)" 54 60)
  ("(x 5)" 60 62)
  ("(x 4)" 62 64)
  ("(x 3)" 64 65)
  ("(x 2)" 65 67)
  ("(x down)" 4 30)
  ("(x up)" 30 38)
  ("(x up)" 55 67)
  ("(y 2)" 3 9)
  ("(y 1)" 9 22)
  ("(y 2)" 22 25)
  ("(y 3)" 25 26)
  ("(y 4)" 26 28)
  ("(y 5)" 28 31)
  ("(y 6)" 31 38)
  ("(y 5)" 54 67)
  ("(y up)" 4 17)
  ("(y down)" 17 38)
  ("(y up)" 55 67)
 ))
(2
 (
  ("(x 1)" 3 15)
  ("(x 2)" 15 23)
  ("(x 3)" 23 27)
  ("(x 4)" 27 32)
  ("(x 5)" 32 38)
  ("(x 4)" 38 46)
  ("(x 6)" 62 70)
  ("(x 5)" 70 71)
  ("(x 4)" 71 73)
  ("(x 3)" 73 74)
  ("(x 2)" 74 76)
  ("(x 1)" 76 77)
  ("(x up)" 4 10)
  ("(x stable)" 10 11)
  ("(x down)" 11 35)
  ("(x up)" 35 44)
  ("(x down)" 44 46)
  ("(x up)" 63 77)
  ("(y 3)" 3 5)
  ("(y 2)" 5 12)
  ("(y 1)" 12 27)
  ("(y 2)" 27 30)
  ("(y 3)" 30 32)
  ("(y 4)" 32 35)
  ("(y 5)" 35 38)
  ("(y 6)" 38 46)
  ("(y 6)" 62 67)
  ("(y 5)" 67 77)
  ("(y up)" 4 22)
  ("(y down)" 22 46)
  ("(y up)" 63 77)
 ))
(3
 (
  ("(x 1)" 3 20)
  ("(x 2)" 20 25)
  ("(x 3)" 25 28)
  ("(x 4)" 28 31)
  ("(x 5)" 31 52)
  ("(x 6)" 68 74)
  ("(x 5)" 74 77)
  ("(x 4)" 77 78)
  ("(x 3)" 78 81)
  ("(x 2)" 81 83)
  ("(x up)" 4 12)
  ("(x down)" 12 39)
  ("(x stable)" 39 40)
  ("(x up)" 40 51)
  ("(x down)" 51 52)
  ("(x up)" 69 83)
  ("(y 3)" 3 5)
  ("(y 2)" 5 13)
  ("(y 1)" 13 29)
  ("(y 2)" 29 32)
  ("(y 3)" 32 34)
  ("(y 4)" 34 37)
  ("(y 5)" 37 40)
  ("(y 6)" 40 52)
  ("(y 5)" 68 79)
  ("(y 4)" 79 83)
  ("(y up)" 4 23)
  ("(y down)" 23 52)
  ("(y up)" 69 83)
 ))
(4
 (
  ("(x 1)" 3 22)
  ("(x 2)" 22 29)
  ("(x 3)" 29 34)
  ("(x 4)" 34 39)
  ("(x 5)" 39 59)
  ("(x 6)" 75 83)
  ("(x 5)" 83 85)
  ("(x 4)" 85 87)
  ("(x 3)" 87 89)
  ("(x 2)" 89 91)
  ("(x up)" 4 13)
  ("(x down)" 13 46)
  ("(x stable)" 46 47)
  ("(x up)" 47 56)
  ("(x stable)" 56 57)
  ("(x down)" 57 59)
  ("(x up)" 76 91)
  ("(y 4)" 3 9)
  ("(y 3)" 9 14)
  ("(y 2)" 14 20)
  ("(y 1)" 20 37)
  ("(y 2)" 37 40)
  ("(y 3)" 40 42)
  ("(y 4)" 42 45)
  ("(y 5)" 45 48)
  ("(y 6)" 48 59)
  ("(y 5)" 75 87)
  ("(y 4)" 87 91)
  ("(y up)" 4 30)
  ("(y stable)" 30 31)
  ("(y down)" 31 59)
  ("(y up)" 76 91)
 ))
(5
 (
  ("(x 2)" 3 12)
  ("(x 1)" 12 25)
  ("(x 2)" 25 31)
  ("(x 3)" 31 35)
  ("(x 4)" 35 38)
  ("(x 5)" 38 45)
  ("(x 6)" 45 48)
  ("(x 5)" 48 56)
  ("(x 6)" 72 78)
  ("(x 5)" 78 80)
  ("(x 4)" 80 81)
  ("(x 3)" 81 83)
  ("(x 2)" 83 84)
  ("(x stable)" 4 5)
  ("(x up)" 5 20)
  ("(x down)" 20 47)
  ("(x up)" 47 55)
  ("(x stable)" 55 56)
  ("(x up)" 73 84)
  ("(y 4)" 3 10)
  ("(y 3)" 10 16)
  ("(y 2)" 16 23)
  ("(y 1)" 23 38)
  ("(y 2)" 38 40)
  ("(y 3)" 40 42)
  ("(y 4)" 42 44)
  ("(y 5)" 44 46)
  ("(y 6)" 46 56)
  ("(y 5)" 72 79)
  ("(y 4)" 79 84)
  ("(y up)" 4 32)
  ("(y stable)" 32 33)
  ("(y down)" 33 56)
  ("(y up)" 73 84)
 ))
(6
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 24)
  ("(x 3)" 24 28)
  ("(x 4)" 28 31)
  ("(x 5)" 31 38)
  ("(x 6)" 38 39)
  ("(x 5)" 39 45)
  ("(x 4)" 45 55)
  ("(x 6)" 71 77)
  ("(x 5)" 77 79)
  ("(x 4)" 79 80)
  ("(x 3)" 80 81)
  ("(x 2)" 81 83)
  ("(x 1)" 83 84)
  ("(x up)" 4 13)
  ("(x down)" 13 39)
  ("(x up)" 39 51)
  ("(x stable)" 51 52)
  ("(x down)" 52 55)
  ("(x up)" 72 84)
  ("(y 3)" 3 11)
  ("(y 2)" 11 19)
  ("(y 1)" 19 34)
  ("(y 2)" 34 37)
  ("(y 3)" 37 39)
  ("(y 4)" 39 41)
  ("(y 5)" 41 44)
  ("(y 6)" 44 55)
  ("(y 5)" 71 84)
  ("(y up)" 4 28)
  ("(y down)" 28 55)
  ("(y up)" 72 83)
  ("(y stable)" 83 84)
 ))
(7
 (
  ("(x 1)" 3 17)
  ("(x 2)" 17 22)
  ("(x 3)" 22 26)
  ("(x 4)" 26 30)
  ("(x 5)" 30 52)
  ("(x 6)" 68 76)
  ("(x 5)" 76 78)
  ("(x 4)" 78 80)
  ("(x 3)" 80 81)
  ("(x 2)" 81 84)
  ("(x 1)" 84 86)
  ("(x up)" 4 9)
  ("(x down)" 9 37)
  ("(x up)" 37 49)
  ("(x down)" 49 52)
  ("(x down)" 69 70)
  ("(x up)" 70 86)
  ("(y 3)" 3 4)
  ("(y 2)" 4 12)
  ("(y 1)" 12 28)
  ("(y 2)" 28 31)
  ("(y 3)" 31 33)
  ("(y 4)" 33 35)
  ("(y 5)" 35 38)
  ("(y 6)" 38 52)
  ("(y 5)" 68 74)
  ("(y 4)" 74 86)
  ("(y up)" 4 22)
  ("(y stable)" 22 23)
  ("(y down)" 23 49)
  ("(y up)" 49 52)
  ("(y up)" 69 86)
 ))
(8
 (
  ("(x 1)" 3 11)
  ("(x 2)" 11 15)
  ("(x 3)" 15 18)
  ("(x 4)" 18 23)
  ("(x 5)" 23 34)
  ("(x 4)" 34 40)
  ("(x 3)" 40 42)
  ("(x 4)" 42 43)
  ("(x 6)" 59 65)
  ("(x 5)" 65 66)
  ("(x 4)" 66 67)
  ("(x 3)" 67 69)
  ("(x 2)" 69 70)
  ("(x 1)" 70 72)
  ("(x down)" 4 29)
  ("(x up)" 29 41)
  ("(x down)" 41 43)
  ("(x up)" 60 72)
  ("(y 2)" 3 9)
  ("(y 1)" 9 23)
  ("(y 2)" 23 26)
  ("(y 3)" 26 28)
  ("(y 4)" 28 30)
  ("(y 5)" 30 34)
  ("(y 6)" 34 43)
  ("(y 5)" 59 70)
  ("(y 4)" 70 72)
  ("(y up)" 4 18)
  ("(y down)" 18 43)
  ("(y up)" 60 72)
 ))
(9
 (
  ("(x 1)" 3 18)
  ("(x 2)" 18 24)
  ("(x 3)" 24 27)
  ("(x 4)" 27 31)
  ("(x 5)" 31 51)
  ("(x 6)" 67 74)
  ("(x 5)" 74 76)
  ("(x 4)" 76 78)
  ("(x 3)" 78 79)
  ("(x 2)" 79 81)
  ("(x up)" 4 8)
  ("(x down)" 8 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 48)
  ("(x stable)" 48 49)
  ("(x down)" 49 51)
  ("(x up)" 68 81)
  ("(y 3)" 3 7)
  ("(y 2)" 7 13)
  ("(y 1)" 13 28)
  ("(y 2)" 28 31)
  ("(y 3)" 31 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 39)
  ("(y 6)" 39 51)
  ("(y 5)" 67 75)
  ("(y 4)" 75 81)
  ("(y up)" 4 22)
  ("(y stable)" 22 23)
  ("(y down)" 23 51)
  ("(y up)" 68 81)
 ))
(10
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 24)
  ("(x 3)" 24 28)
  ("(x 4)" 28 32)
  ("(x 5)" 32 52)
  ("(x 6)" 68 76)
  ("(x 5)" 76 77)
  ("(x 4)" 77 79)
  ("(x 3)" 79 80)
  ("(x 2)" 80 82)
  ("(x up)" 4 12)
  ("(x down)" 12 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 46)
  ("(x stable)" 46 47)
  ("(x down)" 47 52)
  ("(x up)" 69 82)
  ("(y 3)" 3 9)
  ("(y 2)" 9 15)
  ("(y 1)" 15 30)
  ("(y 2)" 30 33)
  ("(y 3)" 33 34)
  ("(y 4)" 34 36)
  ("(y 5)" 36 39)
  ("(y 6)" 39 52)
  ("(y 5)" 68 76)
  ("(y 4)" 76 82)
  ("(y up)" 4 24)
  ("(y down)" 24 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 52)
  ("(y up)" 69 82)
 ))
(11
 (
  ("(x 1)" 3 18)
  ("(x 2)" 18 21)
  ("(x 3)" 21 24)
  ("(x 4)" 24 27)
  ("(x 5)" 27 32)
  ("(x 6)" 32 40)
  ("(x 5)" 40 52)
  ("(x 6)" 68 71)
  ("(x 5)" 71 72)
  ("(x 4)" 72 73)
  ("(x 3)" 73 74)
  ("(x 2)" 74 76)
  ("(x 1)" 76 78)
  ("(x up)" 4 12)
  ("(x down)" 12 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 48)
  ("(x stable)" 48 49)
  ("(x down)" 49 52)
  ("(x up)" 69 78)
  ("(y 4)" 3 4)
  ("(y 3)" 4 10)
  ("(y 2)" 10 17)
  ("(y 1)" 17 30)
  ("(y 2)" 30 34)
  ("(y 3)" 34 36)
  ("(y 4)" 36 38)
  ("(y 5)" 38 41)
  ("(y 6)" 41 52)
  ("(y 5)" 68 75)
  ("(y 4)" 75 78)
  ("(y up)" 4 25)
  ("(y down)" 25 52)
  ("(y up)" 69 78)
 ))
(12
 (
  ("(x 2)" 3 7)
  ("(x 1)" 7 24)
  ("(x 2)" 24 29)
  ("(x 3)" 29 32)
  ("(x 4)" 32 34)
  ("(x 5)" 34 39)
  ("(x 6)" 39 44)
  ("(x 5)" 44 55)
  ("(x 6)" 71 78)
  ("(x 5)" 78 80)
  ("(x 4)" 80 82)
  ("(x 3)" 82 83)
  ("(x up)" 4 17)
  ("(x down)" 17 42)
  ("(x up)" 42 55)
  ("(x up)" 72 83)
  ("(y 3)" 3 11)
  ("(y 2)" 11 18)
  ("(y 1)" 18 33)
  ("(y 2)" 33 36)
  ("(y 3)" 36 38)
  ("(y 4)" 38 40)
  ("(y 5)" 40 43)
  ("(y 6)" 43 55)
  ("(y 5)" 71 83)
  ("(y up)" 4 28)
  ("(y down)" 28 55)
  ("(y up)" 72 83)
 ))
(13
 (
  ("(x 1)" 3 12)
  ("(x 2)" 12 15)
  ("(x 3)" 15 17)
  ("(x 4)" 17 20)
  ("(x 5)" 20 38)
  ("(x 6)" 38 44)
  ("(x 5)" 44 47)
  ("(x 4)" 47 49)
  ("(x 3)" 49 50)
  ("(x 2)" 50 52)
  ("(x 1)" 52 54)
  ("(x down)" 4 26)
  ("(x stable)" 26 27)
  ("(x up)" 27 33)
  ("(x down)" 33 42)
  ("(x up)" 42 54)
  ("(y 1)" 3 18)
  ("(y 2)" 18 21)
  ("(y 3)" 21 22)
  ("(y 4)" 22 24)
  ("(y 5)" 24 27)
  ("(y 6)" 27 39)
  ("(y 5)" 39 44)
  ("(y 4)" 44 54)
  ("(y up)" 4 12)
  ("(y down)" 12 33)
  ("(y up)" 33 54)
 ))
(14
 (
  ("(x 1)" 3 13)
  ("(x 2)" 13 18)
  ("(x 3)" 18 22)
  ("(x 4)" 22 26)
  ("(x 5)" 26 40)
  ("(x 6)" 56 61)
  ("(x 5)" 61 62)
  ("(x 4)" 62 64)
  ("(x 3)" 64 65)
  ("(x 2)" 65 66)
  ("(x 1)" 66 68)
  ("(x stable)" 4 7)
  ("(x down)" 7 35)
  ("(x stable)" 35 37)
  ("(x down)" 37 40)
  ("(x up)" 57 68)
  ("(y 3)" 3 4)
  ("(y 2)" 4 11)
  ("(y 1)" 11 23)
  ("(y 2)" 23 26)
  ("(y 3)" 26 28)
  ("(y 4)" 28 30)
  ("(y 5)" 30 33)
  ("(y 6)" 33 40)
  ("(y 5)" 56 65)
  ("(y 4)" 65 68)
  ("(y up)" 4 19)
  ("(y down)" 19 40)
  ("(y up)" 57 68)
 ))
(15
 (
  ("(x 1)" 3 21)
  ("(x 2)" 21 26)
  ("(x 3)" 26 30)
  ("(x 4)" 30 34)
  ("(x 5)" 34 52)
  ("(x 6)" 68 74)
  ("(x 5)" 74 77)
  ("(x 4)" 77 79)
  ("(x 3)" 79 81)
  ("(x stable)" 4 8)
  ("(x up)" 8 14)
  ("(x stable)" 14 15)
  ("(x down)" 15 41)
  ("(x stable)" 41 42)
  ("(x up)" 42 52)
  ("(x up)" 69 81)
  ("(y 3)" 3 11)
  ("(y 2)" 11 19)
  ("(y 1)" 19 33)
  ("(y 2)" 33 37)
  ("(y 3)" 37 39)
  ("(y 4)" 39 41)
  ("(y 5)" 41 43)
  ("(y 6)" 43 52)
  ("(y 6)" 68 71)
  ("(y 5)" 71 81)
  ("(y up)" 4 28)
  ("(y down)" 28 52)
  ("(y up)" 69 81)
 ))
(16
 (
  ("(x 1)" 3 23)
  ("(x 2)" 23 29)
  ("(x 3)" 29 33)
  ("(x 4)" 33 37)
  ("(x 5)" 37 54)
  ("(x 4)" 54 63)
  ("(x 6)" 79 87)
  ("(x 5)" 87 89)
  ("(x 4)" 89 91)
  ("(x 3)" 91 93)
  ("(x 2)" 93 95)
  ("(x up)" 4 15)
  ("(x stable)" 15 16)
  ("(x down)" 16 45)
  ("(x stable)" 45 46)
  ("(x up)" 46 63)
  ("(x up)" 80 95)
  ("(y 3)" 3 11)
  ("(y 2)" 11 18)
  ("(y 1)" 18 37)
  ("(y 2)" 37 40)
  ("(y 3)" 40 43)
  ("(y 4)" 43 46)
  ("(y 5)" 46 50)
  ("(y 6)" 50 63)
  ("(y 5)" 79 94)
  ("(y 4)" 94 95)
  ("(y up)" 4 30)
  ("(y down)" 30 63)
  ("(y up)" 80 95)
 ))
(17
 (
  ("(x 2)" 3 12)
  ("(x 1)" 12 24)
  ("(x 2)" 24 31)
  ("(x 3)" 31 34)
  ("(x 4)" 34 38)
  ("(x 5)" 38 48)
  ("(x 4)" 48 53)
  ("(x 5)" 53 55)
  ("(x 6)" 71 79)
  ("(x 5)" 79 81)
  ("(x 4)" 81 82)
  ("(x 3)" 82 84)
  ("(x 2)" 84 85)
  ("(x up)" 4 19)
  ("(x down)" 19 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 51)
  ("(x down)" 51 55)
  ("(x up)" 72 85)
  ("(y 3)" 3 9)
  ("(y 2)" 9 18)
  ("(y 1)" 18 33)
  ("(y 2)" 33 37)
  ("(y 3)" 37 39)
  ("(y 4)" 39 40)
  ("(y 5)" 40 43)
  ("(y 6)" 43 55)
  ("(y 5)" 71 81)
  ("(y 4)" 81 85)
  ("(y up)" 4 28)
  ("(y down)" 28 53)
  ("(y up)" 53 55)
  ("(y up)" 72 85)
 ))
(18
 (
  ("(x 2)" 3 6)
  ("(x 1)" 6 20)
  ("(x 2)" 20 26)
  ("(x 3)" 26 32)
  ("(x 4)" 32 37)
  ("(x 5)" 37 54)
  ("(x 6)" 70 77)
  ("(x 5)" 77 79)
  ("(x 4)" 79 80)
  ("(x 3)" 80 82)
  ("(x 2)" 82 83)
  ("(x 1)" 83 85)
  ("(x up)" 4 15)
  ("(x stable)" 15 16)
  ("(x down)" 16 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 50)
  ("(x stable)" 50 52)
  ("(x down)" 52 54)
  ("(x up)" 71 85)
  ("(y 3)" 3 11)
  ("(y 2)" 11 19)
  ("(y 1)" 19 34)
  ("(y 2)" 34 37)
  ("(y 3)" 37 39)
  ("(y 4)" 39 41)
  ("(y 5)" 41 44)
  ("(y 6)" 44 54)
  ("(y 6)" 70 72)
  ("(y 5)" 72 81)
  ("(y 4)" 81 85)
  ("(y up)" 4 28)
  ("(y down)" 28 54)
  ("(y up)" 71 85)
 ))
(19
 (
  ("(x 1)" 3 17)
  ("(x 2)" 17 22)
  ("(x 3)" 22 27)
  ("(x 4)" 27 43)
  ("(x 3)" 43 47)
  ("(x 6)" 63 70)
  ("(x 5)" 70 72)
  ("(x 4)" 72 73)
  ("(x 3)" 73 75)
  ("(x 2)" 75 76)
  ("(x stable)" 4 5)
  ("(x up)" 5 13)
  ("(x down)" 13 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 47)
  ("(x up)" 64 76)
  ("(y 3)" 3 9)
  ("(y 2)" 9 15)
  ("(y 1)" 15 29)
  ("(y 2)" 29 32)
  ("(y 3)" 32 34)
  ("(y 4)" 34 36)
  ("(y 5)" 36 39)
  ("(y 6)" 39 47)
  ("(y 5)" 63 76)
  ("(y up)" 4 24)
  ("(y down)" 24 47)
  ("(y up)" 64 76)
 ))
(20
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 24)
  ("(x 3)" 24 29)
  ("(x 4)" 29 33)
  ("(x 5)" 33 44)
  ("(x 4)" 44 54)
  ("(x 6)" 70 77)
  ("(x 5)" 77 78)
  ("(x 4)" 78 80)
  ("(x 3)" 80 81)
  ("(x 2)" 81 82)
  ("(x up)" 4 8)
  ("(x stable)" 8 14)
  ("(x down)" 14 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 51)
  ("(x stable)" 51 52)
  ("(x down)" 52 54)
  ("(x up)" 71 82)
  ("(y 4)" 3 4)
  ("(y 3)" 4 10)
  ("(y 2)" 10 16)
  ("(y 1)" 16 32)
  ("(y 2)" 32 35)
  ("(y 3)" 35 37)
  ("(y 4)" 37 39)
  ("(y 5)" 39 43)
  ("(y 6)" 43 54)
  ("(y 5)" 70 82)
  ("(y up)" 4 25)
  ("(y stable)" 25 26)
  ("(y down)" 26 54)
  ("(y up)" 71 82)
 ))
(21
 (
  ("(x 1)" 3 20)
  ("(x 2)" 20 26)
  ("(x 3)" 26 31)
  ("(x 4)" 31 35)
  ("(x 5)" 35 50)
  ("(x 6)" 66 75)
  ("(x 5)" 75 77)
  ("(x 4)" 77 80)
  ("(x up)" 4 13)
  ("(x down)" 13 41)
  ("(x up)" 41 50)
  ("(x up)" 67 80)
  ("(y 3)" 3 10)
  ("(y 2)" 10 17)
  ("(y 1)" 17 31)
  ("(y 2)" 31 34)
  ("(y 3)" 34 36)
  ("(y 4)" 36 38)
  ("(y 5)" 38 40)
  ("(y 6)" 40 50)
  ("(y 5)" 66 80)
  ("(y up)" 4 26)
  ("(y down)" 26 50)
  ("(y stable)" 67 70)
  ("(y up)" 70 80)
 ))
